Перевод: с русского на все языки

со всех языков на русский

Со всех языков на:
Русский
С русского на:
Английский

inference machinery

Толкование Перевод

1 inference machinery

схема, механизм ( логического) вывода

Англо-русский словарь промышленной и научной лексики > inference machinery
2 схемы вывода

inference machinery

Русско-английский словарь по вычислительной технике и программированию > схемы вывода
3 схемы вывода

inference machinery

супермашина логического вывода — super inference machine

транзитивный логический вывод — transitive inference

схемы вывода; механизмы вывода — inference machinery

вывод в пользу противной стороны — adverse inference

пропозициональный вывод — propositional inference

Русско-английский большой базовый словарь > схемы вывода
4 логический вывод

inference

супермашина логического вывода — super inference machine

транзитивный логический вывод — transitive inference

схемы вывода; механизмы вывода — inference machinery

вывод в пользу противной стороны — adverse inference

пропозициональный вывод — propositional inference

Русско-английский большой базовый словарь > логический вывод
5 мощность логического вывода

inference capacity

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

Русско-английский большой базовый словарь > мощность логического вывода
6 управление выводом

inference control

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

Русско-английский большой базовый словарь > управление выводом
7 управление процессом вывода

inference control

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

Русско-английский большой базовый словарь > управление процессом вывода
8 логический вывод

inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

получение выводов — inference making

Русско-английский новый политехнический словарь > логический вывод
9 логический вывод

inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

получение выводов — inference making

Русско-английский словарь по информационным технологиям > логический вывод
10 программирование вывода

inference programming

супермашина логического вывода — super inference machine

транзитивный логический вывод — transitive inference

схемы вывода; механизмы вывода — inference machinery

вывод в пользу противной стороны — adverse inference

пропозициональный вывод — propositional inference

Русско-английский словарь по информационным технологиям > программирование вывода
11 операция логического вывода

inference operation

логический вывод — inference

цепочка вывода — inference chain

операция вывода — output operation

правило вывода — rule of inference

схемы вывода — inference machinery

Русско-английский большой базовый словарь > операция логического вывода
12 машина логического вывода

1. inferencing engine

алгоритм логического вывода — inferencing algorithm

механизм логического вывода — inference engine

формирование вывода — inferencing

2. inference engine

супермашина логического вывода — super inference machine

транзитивный логический вывод — transitive inference

схемы вывода; механизмы вывода — inference machinery

вывод в пользу противной стороны — adverse inference

пропозициональный вывод — propositional inference

3. inference machine

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

Русско-английский большой базовый словарь > машина логического вывода
13 исправная схема

1. fault-free circuit

схема синхранизации — synchronizer circuit

схема со спаренными диодами — twin circuit

теория схем; теория цепей — circuit theory

толстоплёночная схема — thick-film circuit

толстопленочная схема — thick-film circuit

2. good machine

последовательностная логическая схема — sequential machine

логика машины; логические схемы машины — machine logic

схемы вывода; механизмы вывода — inference machinery

схема расположения механизмов — machinery layout

схема логического вывода — inference machinery

Русско-английский большой базовый словарь > исправная схема
14 механизм логического вывода

1. inference engine

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

2. inferencing engine

процесс вывода — inferencing

формирование вывода — inferencing

машина логического вывода — inferencing engine

алгоритм логического вывода — inferencing algorithm

3. inferential mechanism

механизм вывода; устройство вывода — output mechanism

Русско-английский большой базовый словарь > механизм логического вывода
15 непосредственный вывод

1. direct derivation

вывод формулы изгиба — derivation of the flexure formula

вывод уравнения — derivation of an equation

канонический вывод — canonical derivation

вывод формулы — derivation of a formula

прямой вывод данных — direct output

2. immediate inference

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

Русско-английский большой базовый словарь > непосредственный вывод
16 получение выводов

1. inference making

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

2. inferencing

алгоритм логического вывода — inferencing algorithm

машина логического вывода — inferencing engine

формирование вывода — inferencing

Русско-английский большой базовый словарь > получение выводов
17 пропозициональный вывод

propositional inference

супермашина логического вывода — super inference machine

транзитивный логический вывод — transitive inference

схемы вывода; механизмы вывода — inference machinery

вывод в пользу противной стороны — adverse inference

операция логического вывода — inference operation

Русско-английский большой базовый словарь > пропозициональный вывод
18 супермашина логического вывода

super inference machine

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

Русско-английский большой базовый словарь > супермашина логического вывода
19 формальный вывод

formal inference

супермашина логического вывода — super inference machine

транзитивный логический вывод — transitive inference

[lang name="Russian"]схемы вывода; механизмы вывода — inference machinery

вывод в пользу противной стороны — adverse inference

пропозициональный вывод — propositional inference

Русско-английский научный словарь > формальный вывод
20 пропозиционный вывод

propositional inference

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference

Русско-английский военно-политический словарь > пропозиционный вывод

Страницы

См. также в других словарях:

Bayesian inference in phylogeny — generates a posterior distribution for a parameter, composed of a phylogenetic tree and a model of evolution, based on the prior for that parameter and the likelihood of the data, generated by a multiple alignment. The Bayesian approach has… … Wikipedia
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
Alan Turing — Turing redirects here. For other uses, see Turing (disambiguation). Alan Turing Turing at the time of his election to Fellowship of the Royal Society … Wikipedia
Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Psychology (The separation of) from philosophy — The separation of psychology from philosophy Studies in the sciences of mind 1815–1879 Edward S.Reed THE IMPOSSIBLE SCIENCE Traditional metaphysics The consensus of European opinion during and immediately after the Napoleonic era was that… … History of philosophy
Minimum description length — The minimum description length (MDL) principle is a formalization of Occam s Razor in which the best hypothesis for a given set of data is the one that leads to the best compression of the data. MDL was introduced by Jorma Rissanen in 1978. It is … Wikipedia
List of important publications in computer science — This is a list of important publications in computer science, organized by field. Some reasons why a particular publication might be regarded as important: Topic creator – A publication that created a new topic Breakthrough – A publication that… … Wikipedia
Hindley–Milner — In type theory, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type inference method with parametric polymorphism for the lambda calculus, first described by J. Roger Hindley[1] and later rediscovered by… … Wikipedia
United Kingdom — a kingdom in NW Europe, consisting of Great Britain and Northern Ireland: formerly comprising Great Britain and Ireland 1801 1922. 58,610,182; 94,242 sq. mi. (244,100 sq. km). Cap.: London. Abbr.: U.K. Official name, United Kingdom of Great… … Universalium
Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… … Wikipedia

Словари и энциклопедии на Академике

Перевод: с русского на все языки

inference machinery

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с русского на все языки

inference machinery

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: